Skip to content

feat: Show reload button at editor title when there is reload required diagnostics#671

Merged
jdneo merged 2 commits into
mainfrom
cs/reload
Jul 22, 2022
Merged

feat: Show reload button at editor title when there is reload required diagnostics#671
jdneo merged 2 commits into
mainfrom
cs/reload

Conversation

@jdneo
Copy link
Copy Markdown
Member

@jdneo jdneo commented Jul 21, 2022

Signed-off-by: Sheng Chen sheche@microsoft.com

@jdneo jdneo added the enhancement New feature or request label Jul 21, 2022
@jdneo jdneo added this to the 0.21.0 milestone Jul 21, 2022
@jdneo jdneo requested a review from CsCherrYY July 21, 2022 09:04
…d diagnostics

Signed-off-by: Sheng Chen <sheche@microsoft.com>
Comment thread src/commands.ts Outdated
Copy link
Copy Markdown
Contributor

@CsCherrYY CsCherrYY left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jdneo jdneo merged commit 336ebb4 into main Jul 22, 2022
@jdneo jdneo deleted the cs/reload branch July 22, 2022 07:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants